<?php

echo "Dummy\n";
